More from this Author

Relational and Algebraic Methods in Computer Science

by Uli Fahrenberg (Editor), Peter Jipsen (Editor), Michael Winter (Editor)

Formal Modeling and Analysis of Timed Systems

by Uli Fahrenberg (Editor), Stavros Tripakis (Editor)